[next] [prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 136 51 0 0 0 34 0 0

N.S.

1 1.09 0.41 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.230 10.017 0.000 0.000 0.000 0.774 0.000 0.000

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 111 87 108 152 218 39 0 0

N.S.

1 1.08 0.84 1.05 1.48 2.12 0.38 0.00 0.00

time (sec)

N/A 0.233 0.529 4.902 0.296 0.276 1.131 0.000 0.000

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 81 74 85 101 179 39 0 0

N.S.

1 1.05 0.96 1.10 1.31 2.32 0.51 0.00 0.00

time (sec)

N/A 0.218 0.370 4.531 0.291 0.440 0.652 0.000 0.000

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 76 73 85 82 0 41 0 40

N.S.

1 1.04 1.00 1.16 1.12 0.00 0.56 0.00 0.55

time (sec)

N/A 0.209 0.279 4.441 0.292 0.000 0.629 0.000 5.682

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 68 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 3.24 0.00 0.81

time (sec)

N/A 0.145 0.183 4.244 0.191 0.290 0.460 0.000 5.792

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 42 28 35 38 109 0 37

N.S.

1 1.00 0.95 0.64 0.80 0.86 2.48 0.00 0.84

time (sec)

N/A 0.174 0.220 4.286 0.211 0.291 0.663 0.000 5.889

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 53 39 52 49 520 0 73

N.S.

1 1.09 0.78 0.57 0.76 0.72 7.65 0.00 1.07

time (sec)

N/A 0.191 0.232 4.448 0.189 0.303 0.985 0.000 6.082

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 60 847 0 93

N.S.

1 1.13 0.58 0.54 0.75 0.65 9.21 0.00 1.01

time (sec)

N/A 0.229 0.237 4.404 0.207 0.282 1.468 0.000 6.405

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 167 105 0 0 0 39 0 0

N.S.

1 1.11 0.70 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.335 8.169 0.000 0.000 0.000 0.740 0.000 0.000

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 137 93 0 0 0 39 0 0

N.S.

1 1.09 0.74 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.290 7.509 0.000 0.000 0.000 0.612 0.000 0.000

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 107 62 0 0 0 39 0 0

N.S.

1 1.05 0.61 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.248 7.324 0.000 0.000 0.000 0.505 0.000 0.000

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 46 0 0 0 37 0 37

N.S.

1 1.00 0.58 0.00 0.00 0.00 0.46 0.00 0.46

time (sec)

N/A 0.223 7.104 0.000 0.000 0.000 0.466 0.000 5.746

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 51 0 0 0 31 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.222 10.013 0.000 0.000 0.000 0.534 0.000 0.000

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 109 51 0 0 0 31 0 0

N.S.

1 1.05 0.49 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.256 10.014 0.000 0.000 0.000 0.661 0.000 0.000

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 139 51 0 0 0 46 0 0

N.S.

1 1.09 0.40 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.291 10.017 0.000 0.000 0.000 0.783 0.000 0.000

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 169 51 0 0 0 46 0 0

N.S.

1 1.11 0.34 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.324 10.014 0.000 0.000 0.000 1.009 0.000 0.000

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 105 61 58 81 68 136 163 66

N.S.

1 1.04 0.60 0.57 0.80 0.67 1.35 1.61 0.65

time (sec)

N/A 0.234 0.065 4.155 0.201 0.267 1.380 0.299 5.414

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 57 110 134 55

N.S.

1 1.05 0.62 0.59 0.80 0.71 1.38 1.68 0.69

time (sec)

N/A 0.216 0.050 4.178 0.202 0.264 0.934 0.290 5.706

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 46 87 106 44

N.S.

1 1.07 0.66 0.61 0.80 0.78 1.47 1.80 0.75

time (sec)

N/A 0.192 0.045 4.178 0.238 0.268 0.647 0.280 5.600

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 39 25 30 35 65 78 33

N.S.

1 1.11 1.03 0.66 0.79 0.92 1.71 2.05 0.87

time (sec)

N/A 0.180 0.040 4.141 0.219 0.255 0.418 0.269 5.563

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 39 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 2.17 0.78 0.78

time (sec)

N/A 0.144 0.022 4.152 0.222 0.269 0.205 0.274 5.642

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 78 70 73 71 126 44 185 50

N.S.

1 1.11 1.00 1.04 1.01 1.80 0.63 2.64 0.71

time (sec)

N/A 0.204 0.084 4.195 0.275 0.274 0.682 0.290 5.637

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 79 75 86 74 185 39 209 55

N.S.

1 1.05 1.00 1.15 0.99 2.47 0.52 2.79 0.73

time (sec)

N/A 0.206 0.169 4.471 0.274 0.289 0.754 0.305 5.787

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 108 92 108 125 210 41 243 79

N.S.

1 1.07 0.91 1.07 1.24 2.08 0.41 2.41 0.78

time (sec)

N/A 0.216 0.226 4.318 0.273 0.284 1.310 0.330 5.887

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 166 95 0 0 0 29 0 0

N.S.

1 1.11 0.64 0.00 0.00 0.00 0.19 0.00 0.00

time (sec)

N/A 0.251 8.543 0.000 0.000 0.000 0.791 0.000 0.000

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 136 64 0 0 0 29 0 0

N.S.

1 1.09 0.51 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.229 8.496 0.000 0.000 0.000 0.658 0.000 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 106 51 0 0 0 29 0 0

N.S.

1 1.08 0.52 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.204 7.745 0.000 0.000 0.000 0.557 0.000 0.000

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 104 51 0 0 0 32 0 0

N.S.

1 1.06 0.52 0.00 0.00 0.00 0.33 0.00 0.00

time (sec)

N/A 0.206 10.020 0.000 0.000 0.000 0.551 0.000 0.000

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 134 51 0 0 0 34 0 0

N.S.

1 1.07 0.41 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.228 10.015 0.000 0.000 0.000 0.667 0.000 0.000

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 164 51 0 0 0 34 0 0

N.S.

1 1.10 0.34 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.255 10.017 0.000 0.000 0.000 0.835 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 169 109 146 225 245 39 0 0

N.S.

1 1.13 0.73 0.98 1.51 1.64 0.26 0.00 0.00

time (sec)

N/A 0.290 0.584 4.394 0.283 0.271 18.992 0.000 0.000

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 98 126 189 234 39 0 0

N.S.

1 1.11 0.78 1.01 1.51 1.87 0.31 0.00 0.00

time (sec)

N/A 0.256 0.519 4.372 0.276 0.283 3.623 0.000 0.000

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 109 87 106 148 215 39 0 0

N.S.

1 1.08 0.86 1.05 1.47 2.13 0.39 0.00 0.00

time (sec)

N/A 0.223 0.439 4.332 0.295 0.278 1.181 0.000 0.000

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 79 75 84 102 188 37 0 37

N.S.

1 1.05 1.00 1.12 1.36 2.51 0.49 0.00 0.49

time (sec)

N/A 0.192 0.330 4.332 0.317 0.270 0.710 0.000 5.681

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 78 75 90 85 0 42 0 0

N.S.

1 1.04 1.00 1.20 1.13 0.00 0.56 0.00 0.00

time (sec)

N/A 0.188 0.278 4.285 0.304 0.000 0.712 0.000 0.000

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 68 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 3.24 0.00 0.81

time (sec)

N/A 0.143 0.185 4.226 0.201 0.358 0.597 0.000 5.806

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 38 110 0 56

N.S.

1 1.00 0.70 0.64 0.80 0.86 2.50 0.00 1.27

time (sec)

N/A 0.168 0.215 4.404 0.200 0.311 0.850 0.000 6.013

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 49 520 0 73

N.S.

1 1.09 0.62 0.57 0.76 0.72 7.65 0.00 1.07

time (sec)

N/A 0.193 0.242 4.322 0.233 0.293 1.325 0.000 6.245

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 60 847 0 93

N.S.

1 1.13 0.58 0.54 0.75 0.65 9.21 0.00 1.01

time (sec)

N/A 0.216 0.272 4.397 0.250 0.322 1.950 0.000 6.339

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 164 96 0 0 0 39 0 0

N.S.

1 1.09 0.64 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.305 8.949 0.000 0.000 0.000 0.835 0.000 0.000

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 134 64 0 0 0 39 0 0

N.S.

1 1.06 0.51 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.293 8.607 0.000 0.000 0.000 0.690 0.000 0.000

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 104 51 0 0 0 39 0 0

N.S.

1 1.05 0.52 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.259 8.726 0.000 0.000 0.000 0.552 0.000 0.000

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 100 49 0 0 0 41 0 40

N.S.

1 1.03 0.51 0.00 0.00 0.00 0.42 0.00 0.41

time (sec)

N/A 0.257 10.015 0.000 0.000 0.000 0.571 0.000 5.887

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 99 51 0 0 0 31 0 0

N.S.

1 1.00 0.52 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.259 10.014 0.000 0.000 0.000 0.678 0.000 0.000

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 129 51 0 0 0 31 0 0

N.S.

1 1.02 0.40 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.297 10.016 0.000 0.000 0.000 0.820 0.000 0.000

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

150 159 51 0 0 0 46 0 0

N.S.

1 1.06 0.34 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.324 10.014 0.000 0.000 0.000 1.031 0.000 0.000

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 105 61 58 81 79 156 71 75

N.S.

1 1.04 0.60 0.57 0.80 0.78 1.54 0.70 0.74

time (sec)

N/A 0.232 0.061 4.421 0.199 0.464 1.999 0.280 5.670

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 68 134 57 64

N.S.

1 1.05 0.62 0.59 0.80 0.85 1.68 0.71 0.80

time (sec)

N/A 0.218 0.058 4.237 0.207 0.279 1.382 0.319 5.606

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 57 110 43 53

N.S.

1 1.07 0.66 0.61 0.80 0.97 1.86 0.73 0.90

time (sec)

N/A 0.194 0.044 4.333 0.200 0.266 0.941 0.284 5.634

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 30 45 85 29 42

N.S.

1 1.11 0.74 0.66 0.79 1.18 2.24 0.76 1.11

time (sec)

N/A 0.186 0.041 4.352 0.205 0.324 0.635 0.304 5.603

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 32 61 14 14

N.S.

1 1.00 1.00 0.83 0.78 1.78 3.39 0.78 0.78

time (sec)

N/A 0.145 0.020 4.190 0.193 0.295 0.340 0.294 5.584

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 99 79 82 79 127 48 200 64

N.S.

1 1.19 0.95 0.99 0.95 1.53 0.58 2.41 0.77

time (sec)

N/A 0.213 0.107 4.408 0.273 0.279 0.954 0.290 5.707

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 103 81 88 89 167 42 221 70

N.S.

1 1.13 0.89 0.97 0.98 1.84 0.46 2.43 0.77

time (sec)

N/A 0.215 0.204 4.406 0.274 0.308 1.003 0.308 6.097

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 101 89 108 120 195 41 232 77

N.S.

1 1.03 0.91 1.10 1.22 1.99 0.42 2.37 0.79

time (sec)

N/A 0.208 0.243 4.372 0.288 0.400 1.205 0.303 6.378

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 164 81 0 0 0 29 0 0

N.S.

1 1.12 0.55 0.00 0.00 0.00 0.20 0.00 0.00

time (sec)

N/A 0.251 9.011 0.000 0.000 0.000 0.999 0.000 0.000

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 134 69 0 0 0 29 0 0

N.S.

1 1.10 0.57 0.00 0.00 0.00 0.24 0.00 0.00

time (sec)

N/A 0.228 8.859 0.000 0.000 0.000 0.826 0.000 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 107 52 0 0 0 29 0 0

N.S.

1 1.09 0.53 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.194 8.315 0.000 0.000 0.000 0.646 0.000 0.000

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 105 52 0 0 0 32 0 0

N.S.

1 1.07 0.53 0.00 0.00 0.00 0.33 0.00 0.00

time (sec)

N/A 0.205 10.016 0.000 0.000 0.000 0.697 0.000 0.000

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 102 52 0 0 0 34 0 0

N.S.

1 1.04 0.53 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.207 10.016 0.000 0.000 0.000 0.756 0.000 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 130 52 0 0 0 34 0 0

N.S.

1 1.07 0.43 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.227 10.016 0.000 0.000 0.000 1.010 0.000 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 160 52 0 0 0 34 0 0

N.S.

1 1.10 0.36 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.259 10.015 0.000 0.000 0.000 1.272 0.000 0.000

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 165 111 122 229 247 39 0 0

N.S.

1 1.11 0.75 0.82 1.55 1.67 0.26 0.00 0.00

time (sec)

N/A 0.294 0.631 4.599 0.286 0.283 10.277 0.000 0.000

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 135 100 128 191 228 39 0 0

N.S.

1 1.09 0.81 1.03 1.54 1.84 0.31 0.00 0.00

time (sec)

N/A 0.257 0.539 4.565 0.279 0.285 2.433 0.000 0.000

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 105 91 108 144 200 39 0 0

N.S.

1 1.05 0.91 1.08 1.44 2.00 0.39 0.00 0.00

time (sec)

N/A 0.224 0.480 4.382 0.289 0.283 1.036 0.000 0.000

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 101 86 94 119 0 41 0 40

N.S.

1 1.07 0.91 1.00 1.27 0.00 0.44 0.00 0.43

time (sec)

N/A 0.227 0.455 4.419 0.281 0.000 1.030 0.000 6.464

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 97 81 93 97 0 46 0 0

N.S.

1 1.05 0.88 1.01 1.05 0.00 0.50 0.00 0.00

time (sec)

N/A 0.219 0.349 4.452 0.275 0.000 1.033 0.000 0.000

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 35 105 0 17

N.S.

1 1.00 1.00 0.86 0.81 1.67 5.00 0.00 0.81

time (sec)

N/A 0.149 0.238 4.467 0.195 0.312 0.791 0.000 6.003

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 49 148 0 71

N.S.

1 1.00 0.70 0.64 0.80 1.11 3.36 0.00 1.61

time (sec)

N/A 0.172 0.288 4.434 0.190 0.334 1.152 0.000 6.296

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 60 609 0 91

N.S.

1 1.09 0.62 0.57 0.76 0.88 8.96 0.00 1.34

time (sec)

N/A 0.205 0.329 4.455 0.197 0.315 1.772 0.000 7.000

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 71 954 0 111

N.S.

1 1.13 0.58 0.54 0.75 0.77 10.37 0.00 1.21

time (sec)

N/A 0.232 0.375 4.491 0.197 0.327 2.528 0.000 7.406

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

171 191 89 0 0 0 39 0 0

N.S.

1 1.12 0.52 0.00 0.00 0.00 0.23 0.00 0.00

time (sec)

N/A 0.343 9.466 0.000 0.000 0.000 1.234 0.000 0.000

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 161 76 0 0 0 39 0 0

N.S.

1 1.10 0.52 0.00 0.00 0.00 0.27 0.00 0.00

time (sec)

N/A 0.315 9.372 0.000 0.000 0.000 0.942 0.000 0.000

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

123 131 67 0 0 0 39 0 0

N.S.

1 1.07 0.54 0.00 0.00 0.00 0.32 0.00 0.00

time (sec)

N/A 0.281 8.886 0.000 0.000 0.000 0.727 0.000 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

97 102 47 0 0 0 37 0 37

N.S.

1 1.05 0.48 0.00 0.00 0.00 0.38 0.00 0.38

time (sec)

N/A 0.244 8.483 0.000 0.000 0.000 0.602 0.000 5.582

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

99 104 52 0 0 0 42 0 0

N.S.

1 1.05 0.53 0.00 0.00 0.00 0.42 0.00 0.00

time (sec)

N/A 0.250 10.013 0.000 0.000 0.000 0.674 0.000 0.000

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

101 106 52 0 0 0 31 0 0

N.S.

1 1.05 0.51 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.258 10.014 0.000 0.000 0.000 0.819 0.000 0.000

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

125 133 52 0 0 0 31 0 0

N.S.

1 1.06 0.42 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.286 10.014 0.000 0.000 0.000 1.052 0.000 0.000

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

149 163 52 0 0 0 46 0 0

N.S.

1 1.09 0.35 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.322 10.014 0.000 0.000 0.000 1.377 0.000 0.000

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 101 89 106 143 198 37 0 37

N.S.

1 1.05 0.93 1.10 1.49 2.06 0.39 0.00 0.39

time (sec)

N/A 0.213 0.477 4.517 0.290 0.259 1.098 0.000 5.601

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 105 61 58 81 57 116 71 58

N.S.

1 1.04 0.60 0.57 0.80 0.56 1.15 0.70 0.57

time (sec)

N/A 0.237 0.048 4.224 0.200 0.393 0.896 0.282 5.759

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 50 47 64 46 92 57 48

N.S.

1 1.05 0.62 0.59 0.80 0.58 1.15 0.71 0.60

time (sec)

N/A 0.210 0.042 4.340 0.205 0.252 0.598 0.281 5.788

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 63 39 36 47 35 68 43 36

N.S.

1 1.07 0.66 0.61 0.80 0.59 1.15 0.73 0.61

time (sec)

N/A 0.202 0.038 4.214 0.230 0.258 0.388 0.301 5.728

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 42 28 25 30 24 44 29 26

N.S.

1 1.11 0.74 0.66 0.79 0.63 1.16 0.76 0.68

time (sec)

N/A 0.179 0.033 4.363 0.190 0.273 0.269 0.287 5.701

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 18 15 14 14 22 14 14

N.S.

1 1.00 1.00 0.83 0.78 0.78 1.22 0.78 0.78

time (sec)

N/A 0.148 0.017 4.387 0.193 0.258 0.090 0.270 5.653

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 55 48 61 57 83 37 186 36

N.S.

1 1.00 0.87 1.11 1.04 1.51 0.67 3.38 0.65

time (sec)

N/A 0.200 0.062 4.401 0.286 0.268 0.543 0.278 5.760

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 84 78 85 92 194 39 219 58

N.S.

1 1.08 1.00 1.09 1.18 2.49 0.50 2.81 0.74

time (sec)

N/A 0.211 0.158 4.576 0.271 0.277 0.768 0.279 5.838

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 114 92 108 128 218 39 244 82

N.S.

1 1.10 0.88 1.04 1.23 2.10 0.38 2.35 0.79

time (sec)

N/A 0.224 0.191 4.337 0.277 0.262 1.628 0.280 5.946

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 172 91 0 0 0 27 0 0

N.S.

1 1.13 0.60 0.00 0.00 0.00 0.18 0.00 0.00

time (sec)

N/A 0.257 7.747 0.000 0.000 0.000 0.747 0.000 0.000

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 142 80 0 0 0 27 0 0

N.S.

1 1.11 0.62 0.00 0.00 0.00 0.21 0.00 0.00

time (sec)

N/A 0.225 7.383 0.000 0.000 0.000 0.577 0.000 0.000

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 112 64 0 0 0 27 0 0

N.S.

1 1.08 0.62 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.206 7.114 0.000 0.000 0.000 0.492 0.000 0.000

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

74 82 51 0 0 0 27 0 0

N.S.

1 1.11 0.69 0.00 0.00 0.00 0.36 0.00 0.00

time (sec)

N/A 0.185 6.943 0.000 0.000 0.000 0.448 0.000 0.000

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 110 51 0 0 0 31 0 0

N.S.

1 1.06 0.49 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.202 10.017 0.000 0.000 0.000 0.491 0.000 0.000

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 140 51 0 0 0 32 0 0

N.S.

1 1.09 0.40 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.226 10.025 0.000 0.000 0.000 0.614 0.000 0.000

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 170 51 0 0 0 32 0 0

N.S.

1 1.12 0.34 0.00 0.00 0.00 0.21 0.00 0.00

time (sec)

N/A 0.257 10.015 0.000 0.000 0.000 0.756 0.000 0.000

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 115 87 106 151 225 37 0 0

N.S.

1 1.11 0.84 1.02 1.45 2.16 0.36 0.00 0.00

time (sec)

N/A 0.228 0.461 4.532 0.291 0.256 1.525 0.000 0.000

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 85 73 83 108 201 37 0 0

N.S.

1 1.09 0.94 1.06 1.38 2.58 0.47 0.00 0.00

time (sec)

N/A 0.206 0.357 4.399 0.298 0.256 0.708 0.000 0.000

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 76 65 68 106 36 0 37

N.S.

1 1.00 1.33 1.14 1.19 1.86 0.63 0.00 0.65

time (sec)

N/A 0.168 0.041 4.276 0.285 0.255 0.509 0.000 5.705

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 18 17 17 31 0 17

N.S.

1 1.00 1.00 0.86 0.81 0.81 1.48 0.00 0.81

time (sec)

N/A 0.152 0.199 4.270 0.195 0.235 0.397 0.000 5.653

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 28 35 27 70 0 36

N.S.

1 1.00 0.70 0.64 0.80 0.61 1.59 0.00 0.82

time (sec)

N/A 0.168 0.228 4.306 0.195 0.253 0.567 0.000 5.779

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 38 406 0 56

N.S.

1 1.09 0.62 0.57 0.76 0.56 5.97 0.00 0.82

time (sec)

N/A 0.188 0.265 4.347 0.203 0.246 0.892 0.000 5.807

[next] [prev] [prev-tail] [front] [up]